821. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Philosophy ، Mathematics,Philosophy ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
O94
2005
822. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده :
کتابخانه: (قم)
موضوع :
رده :
QA
8
.
4
.
O94
2005
823. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical -- Philosophy
رده :
QA
8
.
4
.
O94
2005
824. The Oxford handbook of philosophy of mathematics and logic
پدیدآورنده : / edited by Stewart Shapiro
کتابخانه: كتابخانه جامع جامعة المصطفی (ص) العالمية (قم)
موضوع : Mathematics -- Philosophy,Logic, Symbolic and mathematical. -- Philosophy
رده :
QA8
.
4
.
O94
2005
825. The P=NP question and Geodel's lost letter
پدیدآورنده : Richard J. Lipton
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
رده :
QA
،
9
.
65
،.
L57
،
2010
826. The P=NP question and Geodel's lost letter
پدیدآورنده : / Richard J. Lipton
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical
رده :
E-BOOK
827. The Palgrave centenary companion to Principia Mathematica
پدیدآورنده : edited by Nicholas Griffin and Bernard Linsky.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Russell, Bertrand, -- 1872-1970. -- Principles of mathematics.,Whitehead, Alfred North, -- 1861-1947.
رده :
QA9
.
W53
E358
9999
828. The Palgrave centenary companion to Principia mathematica /
پدیدآورنده : edited by Nicholas Griffin, McMaster University, Canada and Bernard Linsky, University of Alberta, Canada
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Russell, Bertrand,1872-1970., Principia mathematica,Whitehead, Alfred North,1861-1947., Principia mathematica,Logic, Symbolic and mathematical,Mathematics-- Philosophy
رده :
QA9
.
W53
P35
2013
829. The Real Number
پدیدآورنده : / by John Stillwell
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Mathematics,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
830. The Theory of Classes of Groups
پدیدآورنده : by Guo Wenbin.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Chemistry-- Mathematics.,Group theory.,Logic, Symbolic and mathematical.,Mathematics.
831. The Theory of Partial Algebraic Operations
پدیدآورنده : by E. S. Ljapin, A. E. Evseev.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Coding theory.,Functional analysis.,Group theory.,Logic, Symbolic and mathematical.,Mathematics.
832. The adventure of reason :
پدیدآورنده : Paolo Mancosu
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy-- History-- 20th century
رده :
QA9
.
M295
2010
833. The age of alternative logics :
پدیدآورنده : edited by Johan van Benthem ... [and others]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory
رده :
BC135
.
A39
2006
834. The age of alternative logics : assessing philosophy of logic and mathematics today
پدیدآورنده : edited by Johan van Benthem... ]et al.[
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A35
835. The age of alternative logics: assessing philosophy of logic and mathematics today
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A39
2006
836. The algebraic theory of switching circuits
پدیدآورنده : Moisil, Grigore C.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Switching theory,، Logic, Symbolic and mathematical,، Algebraic fields,، Field, Albebraic
رده :
QA
401
.
M5513
1969
837. The algebraic theory of switching circuits,
پدیدآورنده : by Gr. C. Moisil
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebraic fields,Logic, Symbolic and mathematical,Switching theory
838. The anatomy of mathematics
پدیدآورنده : Kershner, R. B.)Richard Brandon(,3191-, by R.B. Kershner ]and[ L.R. Wilcox
موضوع : ، Mathematics,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
839. The axiomatic method; an introduction to mathematical logic
پدیدآورنده : Lightstone, A. H.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Axioms,، Mathematics-- Philosophy
رده :
QA
248
.
L53
840. The collected papers of Gerhard Gentzen.
پدیدآورنده : Edited by M. E. Szabo
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical,Metamathematics
رده :
QA9
.
G329
